#ifndef WSPACE_BUTTON_H_INCLUDED
#define WSPACE_BUTTON_H_INCLUDED

#include <gtk/gtk.h>


GtkWidget * wspace_button_new (guint wspace_id);
void        wspace_button_on_clicked (GtkWidget *widget, gpointer data);

#endif // WSPACE_BUTTON_H_INCLUDED
